Variability-Aware Static Analysis at Scale

نویسندگان
چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Variability-Aware Static Latch Modeling

In this paper we study the impact of variability on the transmission gate based latch. The threshold voltage (Vt) fluctuation due to Random Dopant Fluctuation (RDF) and Process, Voltage, and Temperature (PVT) effects to propagation delay, as well as subthreshold leakage and probability of failure are discussed. We propose a modeling methodology which is not tied to a specific topology such as M...

متن کامل

Database-Aware Program Optimization via Static Analysis

Recent years have seen growing interest in bringing together independently developed techniques in the areas of optimizing compilers and relational query optimization, to improve performance of database applications. These approaches cut across the boundaries of general purpose programming languages and SQL, thereby exploiting many optimization opportunities that lie hidden both from the databa...

متن کامل

Variability Analysis in Process-aware Information Systems

Processes can be a cause of variability, a characteristic that distinguishes one product from others. Process-aware information systems (PAIS) whose implementation relies on the process specification do. For defining variability of the PAIS family analyzing variations in processes is advantageous than analyzing system features. Processes are sequential but in many cases, they are not in accorda...

متن کامل

SNR Maximization at CSI Aware AF Relay

This paper concerns two-hop communication over relay-assisted Block fading channel. It is assumed there is not a direct link between the transmitter and the affiliated destination and the communication occurs in two hops through the use of a relay, where the amplify and forward (AF) strategy is employed at this node. In this case, in a Rayleigh block fading channel, the optimal weight function ...

متن کامل

Semantic Constraint and QoS-Aware Large-Scale Web Service Composition

Service-oriented architecture facilitates the running time of interactions by using business integration on the networks. Currently, web services are considered as the best option to provide Internet services. Due to an increasing number of Web users and the complexity of users’ queries, simple and atomic services are not able to meet the needs of users; and to provide complex services, it requ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: ACM Transactions on Software Engineering and Methodology

سال: 2018

ISSN: 1049-331X,1557-7392

DOI: 10.1145/3280986